int start_gui();
